Empirical Probabilities in Monadic Deductive Databases

We address the problem of supporting empir­ ical probabilities in monadic logic databases. Though the semantics of multivalued logic programs has been studied extensively, the treatment of probabilities as results of sta­ tistical findings has not been studied in logic programming/deductive databases. We de­ velop a model-theoretic characterization of logic databases that facilitates such a treat­ ment. We present an algorithm for checking consistency of such databases and prove its total correctness. We develop a sound and complete query processing procedure for han­ dling queries to such databases.